Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 109.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003871 | Michael Leuschel [Allemagne] ; Dominique Cansell [France] ; Michael Butler [Royaume-Uni] | Validating and Animating Higher-Order Recursive Functions in B |
| 003890 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
| 003967 | Dominique Cansell [France] ; Dominique Méry [France] | Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development |
| 003E99 | Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Intégration de contraintes temps-réel au sein d'un processus de développement incrémental basé sur la preuve (Livrable 2) |
| 004096 | Dominique Cansell [France] ; Dominique Méry [France] | The Event-B Modelling Method - Concepts and Case Studies |
| 004156 | Dominique Cansell [France] ; Paul Gibson [Irlande (pays)] ; Dominique Méry [France] | Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface |
| 004625 | Joris Rehm [France] ; Dominique Cansell [France] | Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method |
| 004749 | Dominique Cansell [France] ; Paul Gibson [France] ; Dominique Méry [France] | Formal verification of tamper-evident storage for e-voting |
| 004A12 | Nazim Benaissa [France] ; Dominique Cansell [France] ; Dominique Mery [France] | Integration of Security Policy into System Modeling |
| 004A20 | Bill Stoddart ; Dominique Cansell [France] ; Frank Zeyda | Modelling and Proof Analysis of Interrupt Driven Scheduling |
| 004A60 | Dominique Cansell [France] ; Dominique Méry [France] | Incremental Parametric Development of Greedy Algorithms |
| 004B96 | Dominique Cansell [France] ; Dominique Méry [France] | Proved-Patterns-Based Development for Structured Programs |
| 004D78 | Thierry Lecomte ; Dominique Méry [France] ; Dominique Cansell [France] | Patrons de conception prouvés |
| 004E13 | Michael Leuschel ; Dominique Cansell [France] ; Michael Butler | Validating and Animating Higher-Order Recursive Functions in B |
| 004E83 | Dominique Cansell [France] ; Dominique Méry [France] | Designing old and new distributed algorithms by replaying an incremental proof-based development |
| 005004 | Dominique Cansell [France] ; Dominique Méry [France] | Incremental Parametric Development of Greedy Algorithms |
| 005263 | Dominique Cansell [France] | B Method |
| 005363 | Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Time Constraint Patterns for Event B Development |
| 005463 | Nazim Benaïssa [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Integration of Security Policy into System Modeling |
| 005596 | Bill Stoddart [France] ; Dominique Cansell [France] ; Frank Zeyda [France] | Modelling and proof analysis of interrupt driven scheduling |
| 005599 | Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Integration of security policy into system modeling |
| 005604 | Dominique Cansell [France] ; Dominique Méry [France] | Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm |
| 005633 | Dominique Cansell [France] ; Dominique Méry [France] | Event B |
| 005717 | Dominique Cansell [France] ; Dominique Méry [France] | Tutorial on the event-based B method |
| 005901 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Modelling SystemC scheduler by refinement |
| 005924 | Denis Abraham ; Dominique Cansell [France] ; Patrick Ditsch ; Dominique Méry [France] ; Cyril Proch [France] | Synthesis of the QoS for digital TV services |
| 005B46 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch | Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement |
| 005C91 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch | Modelling SystemC scheduler by refinement |
| 005D13 | Jean-Raymond Abrial ; Dominique Cansell [France] | Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity) |
| 005E08 | Denis Abraham ; Dominique Cansell [France] ; Patrick Ditsch ; Cyril Méry ; Dominique Proch | Synthesis of the QoS for digital TV services |
| 005F27 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Refinement and Reachability in Event_B |
| 006015 | Dominique Cansell [France] ; Dominique Méry [France] | The invoice case study modelling in Event B |
| 006033 | Dominique Méry [France] ; Dominique Cansell [France] ; Cyril Proch ; Denis Abraham ; Patrick Ditsch | The challenge of QoS for digital television services |
| 006200 | Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France] | Refinement and Reachability in Event_B |
| 006339 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement |
| 006393 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Un système d'analyse de la qualité: de la norme au produit en passant par le raffinement |
| 006459 | Dominique Cansell [France] ; Dominique Méry [France] | The invoice case study modelling in Event B |
| 006460 | Dominique Méry [France] ; Dominique Cansell [France] ; Cyril Proch [France] ; Denis Abraham [France] ; Patrick Ditsch [France] | The challenge of QoS for digital television services |
| 006525 | Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] | Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity) |
| 006852 | Dominique Cansell [France] ; Jean-François Culat ; Dominique Méry [France] ; Cyril Proch | Derivation of SystemC code from abstract system models |
| 006A31 | Cyril Proch ; Dominique Cansell [France] ; Dominique Méry [France] | Projet RNRT EQUAST ; SP2 Spécification incrémentale du système |
| 006B96 | Yann Zimmermann [France] ; Stefan Hallerstede [France] ; Dominique Cansell [France] | Formal Modelling of Electronic Circuits Using Event-B |
| 006C82 | Dominique Cansell [France] ; Stefan Hallerstede ; Yann Zimmermann | Construction sûre de systèmes électroniques |
| 006D77 | Cyril Proch [France] ; Dominique Cansell [France] ; Dominique Mery [France] | Projet RNRT EQUAST ; SP2 Spécification incrémentale du système |
| 006E21 | Dominique Cansell [France] ; Stefan Hallerstede ; Yann Zimmermann [France] | Construction sûre de systèmes électroniques |
| 006E55 | Dominique Cansell [France] ; Stefan Hallerstede ; Ian Oliver [Allemagne] | UML-B specification and hardware implementation of a Hamming coder/decoder |
| 006E59 | Dominique Cansell [France] ; Dominique Méry [France] | Tutorial on the event-based B method : Concepts and Case Studies |
| 007004 | Yann Zimmermann [France] ; Stefan Hallerstede ; Dominique Cansell [France] | Formal modelling of electronic circuits using event-B, Case Study: SAE J1708 Serial Communication Link |
| 007035 | Dominique Cansell [France] ; Jean-François Culat [France] ; Dominique Méry [France] ; Cyril Proch [France] | Derivation of SystemC code from abstract system models |
| 007396 | Dominique Cansell [France] | Assistance au développement incrémental et à sa preuve |
| 007534 | Dominique Cansell [France] ; Dominique Méry [France] | Designing event-driven systems by combining coordination and refinement |
| 007606 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol |
| 007680 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Formal derivation of spanning trees algorithms |
| 007742 | Jean-Raymond Abrial ; Dominique Cansell [France] | Click'n'Prove : Interactive Proofs Within Set Theory |
| 007822 | Dominique Cansell [France] ; Camel Tanougast ; Yves Berviller ; Dominique Méry [France] ; Cyril Proch ; Hassan Rabah ; Serge Weber | Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement |
| 007874 | Dominique Cansell [France] ; Dominique Méry | Foundations of the B method |
| 007A57 | Jean-Raymond Abrial [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Formal Derivation of Spanning Trees Algorithms |
| 007A89 | Jean-Raymond Abrial [France] ; Dominique Cansell [France] | Click’n Prove: Interactive Proofs within Set Theory |
| 007B21 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol |
| 007B60 | Dominique Cansell [France] ; Dominique Méry [France] | Foundations of the B method |
| 007D69 | Dominique Cansell [France] ; Camel Tanougast ; Yves Berviller ; Dominique Méry [France] ; Cyril Proch [France] ; Hassan Rabah ; Serge Weber | Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement |
| 007E22 | Dominique Cansell [France] ; Dominique Méry [France] | Foundations of the B method |
| 007E23 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Formal derivation of spanning trees algorithms |
| 007E34 | Dominique Cansell [France] ; Dominique Méry [France] | Designing event-driven systems by combining coordination and refinement |
| 007E52 | Jean-Raymond Abrial ; Dominique Cansell [France] | Click'n'Prove: Interactive Proofs Within Set Theory |
| 008096 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Guy Laffitte [France] | "Higher-Order" Mathematics in B |
| 008115 | Dominique Cansell [France] ; Dominique Méry [France] | Développement de fonctions définies récursivement en B : Application du B événementiel |
| 008518 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Guy Laffitte | "Higher-Order" Mathematics in B |
| 008660 | Dominique Cansell [France] ; Dominique Méry [France] | Integration of the proof process in the system development through refinement steps |
| 008668 | Dominique Cansell [France] ; Ganesh Gopalakrishnan ; Mike Jones ; Dominique Méry [France] ; Airy Weinzoepflen | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
| 008794 | Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
| 008910 | Dominique Cansell [France] ; Dominique Méry [France] | Integration of the proof process in the system development through refinement steps |
| 008933 | Jean-Raymond Abriall ; Dominique Cansell [France] ; Guy Laffitte [France] | "higher-order" mathematics in B |
| 008A07 | Dominique Cansell [France] ; Dominique Méry [France] | Développement de fonctions définies récursivement en B : Application du B événementiel |
| 008B23 | Dominique Cansell [France] ; Dominique Méry [France] | Integration of the proof process in the system development through refinement steps |
| 008B26 | Dominique Cansell [France] ; Ganesh Gopalakrishnan ; Mike Jones ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental Proof of the Producer/Consumer Property for the PCI Protocol |
| 008C86 | Dominique Cansell [France] ; Jacques Jaray [France] ; Dominique Mery [France] | Utilisation de B pour l'aide à la spécification d'un système de diagnostic |
| 008F02 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams |
| 008F79 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Specification and Design of the Leader Election Protocol of IEEE 1394 |
| 009413 | Dominique Cansell [France] ; Jacques Jaray [France] | Utilisation de B pour l'aide à la spécification d'un système de diagnostic |
| 009492 | Dominique Cansell [France] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Modélisation et analyse de la documentation technique d'un système |
| 009566 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Specification and Design of the Leader Election Protocol of IEEE 1394 |
| 009652 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Formal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams |
| 009935 | Dominique Cansell [France] ; Jacques Jaray ; Dominique Méry [France] | Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B. |
| 009951 | Dominique Cansell [France] ; Dominique Méry [France] | Abstraction and refinement of features |
| 009956 | Dominique Cansell [France] ; Dominique Méry [France] | Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem |
| 009A23 | Dominique Cansell [France] ; Dominique Méry [France] ; Christophe Tabacznyj | Abstraction and Refinement of Concurrent Programs and Formal Specification |
| 009B66 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams |
| 009C29 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Verifying Reactive Systems Using Predicate Diagrams |
| 009C67 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Diagrams Refinement for the Design of Reactive Systems |
| 009C87 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams for the verification of reactive systems |
| 009E06 | Dominique Cansell [France] ; Dominique Méry [France] ; Christophe Tabacznyj [France] | Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification A Practical View |
| 009E44 | Dominique Cansell [France] ; Dominique Méry [France] | Playing with Abstraction and Refinement for Managing Features Interactions |
| 009F87 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne] | Predicate diagrams for the verification of reactive systems |
| 00A007 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams |
| 00A042 | Dominique Cansell [France] ; Jacques Jaray [France] ; Dominique Méry [France] | Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B. |
| 00A112 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Verifying Reactive Systems Using Predicate Diagrams |
| 00A161 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Predicate diagrams for the verification of reactive systems |
| 00A162 | Dominique Cansell [France] ; Dominique Méry [France] | Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem |
| 00A235 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz | Diagrams Refinement for the Design of Reactive Systems |
| 00A281 | Dominique Cansell [France] ; Dominique Méry [France] | Abstraction and refinement of features |
| 00A282 | Dominique Cansell [France] ; Dominique Méry [France] ; Christophe Tabacznyj [France] | Abstraction and Refinement of Concurrent Programs and Formal Specification |
| 00A588 | Dominique Cansell [France] ; Dominique Méry [France] | Abstract animator for temporal specifications Application to TLA |
| 00A721 | Dominique Cansell [France] ; Dominique Méry [France] | Abstract Animator for Temporal Specifications |
| 00AA49 | Dominique Cansell [France] ; Dominique Méry [France] | Abstract Animator for Temporal Specifications: Application to TLA |
| 00AD56 | Dominique Cansell [France] ; Dominique Méry [France] | Abstract animator for temporal specifications Application to TLA |
| 00AD57 | Dominique Cansell [France] ; Dominique Méry [France] | Abstract Animator for Temporal Specifications |
| 00AE74 | Dominique Cansell [France] ; Dominique Méry [France] | Interprétation de spécifications temporelles à l'aide d'un outil de preuve |
| 00B510 | Dominique Cansell [France] ; Dominique Méry [France] | Interprétation de spécifications temporelles à l'aide d'un outil de preuve |
| This area was generated with Dilib version V0.6.33. |  |